Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis
نویسنده
چکیده
A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ("SIA"), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ("CA") without resort to the method of limits. Formally, however, unlike Robinsonian "nonstandard analysis", SIA conflicts with CA, deriving, e.g., "not every quantity is either = 0 or not = 0". Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this "change of logic", arguing that standard arguments based on "smoothness" requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism.
منابع مشابه
The Symmetries of Equivalent Lagrangian Systems and Constants of Motion
In this paper Mathematical structure of time-dependent Lagrangian systems and their symmetries are extended and the explicit relation between constants of motion and infinitesimal symmetries of time-dependent Lagrangian systems are considered. Starting point is time-independent Lagrangian systems ,then we extend mathematical concepts of these systems such as equivalent lagrangian systems to th...
متن کاملGROUPOID ASSOCIATED TO A SMOOTH MANIFOLD
In this paper, we introduce the structure of a groupoid associated to a vector field on a smooth manifold. We show that in the case of the $1$-dimensional manifolds, our groupoid has a smooth structure such that makes it into a Lie groupoid. Using this approach, we associated to every vector field an equivalence relation on the Lie algebra of all vector fields on the smooth...
متن کاملMixed two-stage derivative estimator for sensitivity analysis
In mathematical modeling, determining most influential parameters on outputs is of major importance. Thus, sensitivity analysis of parameters plays an important role in model validation. We give detailed procedure of constructing a new derivative estimator for general performance measure in Gaussian systems. We will take advantage of using score function and measure-value derivative estimators ...
متن کاملA New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Philosophical Logic
دوره 35 شماره
صفحات -
تاریخ انتشار 2006